Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
211	1-4-page_HR_Ad_FULL-COLOR_4[removed]psd Add to Reading List Source URL: www.crosstalkonline.org Language: English - Date: 2014-11-02 15:48:44 Procedural programming languages Ada programming language Program analysis SPARK Polyspace Static program analysis Coding conventions MISRA C Ada Computing Software engineering Computer programming
212	New Guidelines for Verifying Program Completion (NTRS) Jeff Jones, Phyllis Payne, Julie Beck, Chuck McCampbell Today’s Purpose Add to Reading List Source URL: www.gapsc.com Language: English - Date: 2014-12-01 11:08:19 Static program analysis Termination analysis Public key certificate
213	HSARPA Cyber Security R&D Add to Reading List Source URL: www.dhs.gov Language: English - Date: 2013-01-02 14:23:51 Quality assurance Software assurance Software quality Computer security Vulnerability Static program analysis Cyberwarfare Software testing Evaluation Program analysis
214	HSARPA Cyber Security R&D Add to Reading List Source URL: www.dhs.gov Language: English - Date: 2013-01-02 14:26:40 Software bug Static program analysis Abstract interpretation Formal verification Vulnerability Programming tool Abstraction Computing Software engineering Software quality
215	MACROSCOPIC DATA STRUCTURE ANALYSIS AND OPTIMIZATION BY CHRIS LATTNER B.S., University of Portland, 2000 Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Compiler construction Programming language implementation Static program analysis Compilers LLVM Memory management Compiler Chris Lattner Alias analysis Computing Software engineering Software
216	MACROSCOPIC DATA STRUCTURE ANALYSIS AND OPTIMIZATION BY CHRIS LATTNER B.S., University of Portland, 2000 Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Computer programming Static program analysis Association for Computing Machinery Programming language implementation Functional programming Chris Lattner Monica S. Lam Escape analysis LLVM Computing Software engineering Year of birth missing
217	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-06-17 02:30:13 Query languages Static program analysis Data types Computer languages Type theory Datalog Binary decision diagram Monica S. Lam Pointer Computing Software engineering Programming language theory
218	Microsoft Word - PENDERGRASS.LEE.FINAL[removed]SARALAB-V4[removed]docx Add to Reading List Source URL: techdigest.jhuapl.edu Language: English - Date: 2013-09-26 17:35:46 Program analysis APL IBM software Static program analysis Coverity Klocwork Model checking Parasoft Cppcheck Software Computing APL programming language family
219	ICSE: G: Fighting Software Configuration Errors with Combined Static and Dynamic Program Analyses Sai Zhang Department of Computer Science & Engineering University of Washington Add to Reading List Source URL: src.acm.org Language: English - Date: 2014-04-23 10:43:40 Debugging Program analysis Program slicing Program transformation Software maintenance Error Configuration management Windows Registry Software bug Computer programming Software engineering Computing
220	ENHANCING MODEL UNDERSTANDING THROUGH STATIC ANALYSIS Kara A. Olson and C. Michael Overstreet Department of Computer Science Old Dominion University Norfolk, VA[removed] {kara, cmo}@cs.odu.edu Add to Reading List Source URL: vsgc.odu.edu Language: English - Date: 2012-02-03 12:13:50 Programming language theory Electronic design automation Scientific modeling Simulation language Logic simulation Simulation Economic model Program slicing Static program analysis Program analysis Electronic engineering Digital electronics